Microbial Community Composition of Two Environmentally Conserved Estuaries in the Midorikawa River and Shirakawa River

To provide a general overview of the microbial communities in environmentally conserved estuaries, the top 5 cm of sediment was sampled from the sandy estuary of the Shirakawa River and from the muddy estuary of the Midorikawa River. Higher amounts of organic matter were detected in the Midorikawa estuary sample than in the Shirakawa estuary sample. Measurement of redox potential revealed that the Shirakawa estuary was aerobic and the Midorikawa estuary was much less aerobic. Clone analysis was performed by targeting partial 16S rRNA gene sequences and using extracted DNA from the samples as a template. Various bacteria were detected, among which Gammaproteobacteria was dominant at both estuaries. Unclassified clones were detected in the Gammaproteobacteria group, mainly among samples from the Midorikawa estuary. Other detected bacterial groups were Alphaproteobacteria, Deltaproteobacteria, Chloroflexi, Actinobacteria, and Bacteroidetes. All the Deltaproteobacteria clones were anaerobic sulfate-reducing bacteria. Those aerobic and anaerobic bacteria coexisted in the top 5 cm of the estuary sediments indicating the surface layer have active sulfur and carbon cycle. Abundance of aerobic Gammaproteobacteria may be an indicator for conserved estuaries

Migratory Typing: Ten Years Later

In this day and age, many developers work on large, untyped code repositories. Even if they are the creators of the code, they notice that they have to figure out the equivalent of method signatures every time they work on old code. This step is time consuming and error prone. Ten years ago, the two lead authors outlined a linguistic solution to this problem. Specifically they proposed the creation of typed twins for untyped programming languages so that developers could migrate scripts from the untyped world to a typed one in an incremental manner. Their programmatic paper also spelled out three guiding design principles concerning the acceptance of grown idioms, the soundness of mixed-typed programs, and the units of migration. This paper revisits this idea of a migratory type system as implemented for Racket. It explains how the design principles have been used to produce the Typed Racket twin and presents an assessment of the project\u27s status, highlighting successes and failures

LMS-Verify: abstraction without regret for verified systems programming

Performance critical software is almost always developed in C, as programmers do not trust high-level languages to deliver the same reliable performance. This is bad because low-level code in unsafe languages attracts security vulnerabilities and because development is far less productive, with PL advances mostly lost on programmers operating under tight performance constraints. High-level languages provide memory safety out of the box, but they are deemed too slow and unpredictable for serious system software. Recent years have seen a surge in staging and generative programming: the key idea is to use high-level languages and their abstraction power as glorified macro systems to compose code fragments in first-order, potentially domain-specific, intermediate languages, from which fast C can be emitted. But what about security? Since the end result is still C code, the safety guarantees of the high-level host language are lost. In this paper, we extend this generative approach to emit ACSL specifications along with C code. We demonstrate that staging achieves ``abstraction without regret'' for verification: we show how high-level programming models, in particular higher-order composable contracts from dynamic languages, can be used at generation time to compose and generate first-order specifications that can be statically checked by existing tools. We also show how type classes can automatically attach invariants to data types, reducing the need for repetitive manual annotations. We evaluate our system on several case studies that varyingly exercise verification of memory safety, overflow safety, and functional correctness. We feature an HTTP parser that is (1) fast (2) high-level: implemented using staged parser combinators (3) secure: with verified memory safety. This result is significant, as input parsing is a key attack vector, and vulnerabilities related to HTTP parsing have been documented in all widely-used web servers.</jats:p

Indoleamine 2,3-dioxygenase is a novel prognostic indicator for endometrial cancer

Indoleamine 2,3-dioxygenase (IDO) is a tryptophan-catabolising enzyme inducing immune tolerance. The present study aimed to investigate IDO expression and its prognostic significance in endometrial cancer. Indoleamine 2,3-dioxygenase expression in endometrial cancer tissues (n=80) was immunohistochemically scored as four groups (IDO−, 1+, 2+, and 3+). The high IDO expression (IDO2+ or 3+) in tumour cells was found in 37 (46.3%) of the 80 cases, and was positively correlated with surgical stage, myometrial invasion, lymph-vascular space involvement, and lymph node metastasis, but not with the histological grade. Patients with high IDO expression had significantly impaired overall survival and progression-free survival (PFS) (P=0.002 and P=0.001, respectively) compared to patients with no or weak expression of IDO (IDO− or 1+). The 5-year PFS for IDO−/1+, 2+, and 3+ were 97.7, 72.9, and 36.4%, respectively. Even in patients with early-stage disease (International Federation of Gynecology and Obstetrics I/II, n=64), the PFS for IDO2+/3+ was significantly poor (P=0.001) compared to that for IDO−/1+. On multivariate analysis, IDO expression was an independent prognostic factor for PFS (P=0.020). These results indicated that the high IDO expression was involved in the progression of endometrial cancer and correlated with the impaired clinical outcome, suggesting that IDO is a novel and reliable prognostic indicator for endometrial cancer

Intrinsic pinning property of FeSe0.5Te0.5

The intrinsic pinning properties of FeSe0.5Te0.5, which is the superconductor with Tc of about 14 K, were studied by the analysis of magnetization curves by the extended critical state model. In the magnetization measurements by SQUID magnetometer, the external magnetic fields were applied parallel and perpendicular to c-axis of the sample. The critical current density Jc's under the perpendicular field of 1 T were estimated by using the Kimishima model as about 1.6 x 10^4, 8.8 x 10^3, 4.1 x 10^3, and 1.5 x 10^3 A/cm2 at 5, 7, 9, and 11 K, respectively, and the temperature dependence of Jc could be fitted with the exponential law of Jc(0)xexp(-{\alpha}T /Tc) up to 9 K and power law of Jc(0)x(1-T / Tc)n near Tc.Comment: 19 pages, 7 figure

Observation of Hadronic W Decays in t-tbar Events with the Collider Detector at Fermilab

We observe hadronic W decays in t-tbar -> W (-> l nu) + >= 4 jet events using a 109 pb-1 data sample of p-pbar collisions at sqrt{s} = 1.8 TeV collected with the Collider Detector at Fermilab (CDF). A peak in the dijet invariant mass distribution is obtained that is consistent with W decay and inconsistent with the background prediction by 3.3 standard deviations. From this peak we measure the W mass to be 77.2 +- 4.6 (stat+syst) GeV/c^2. This result demonstrates the presence of two W bosons in t-tbar candidates in the W (-> l nu) + >= 4 jet channel.Comment: 20 pages, 4 figures, submitted to PR

Origin of Low-Frequency Negative Transconductance Dispersion in p-HEMT

Measurements of low-frequency transconductance dispersion at different temperatures and conductance deep level transient spectroscopic(CDLTS) studies of an AlGaAs/InGaAs pseudomorphic HEMT were carried out. The experimental results show the presence of defect states at the AlGaAs/InGaAs hetero-interface. A mobility degradation model was developed to explain the low frequency negative transconductance dispersion as well as the apparent hole-like peaks observed in the CDLTS spectra. This model incorporates a time dependent change in 2DEG mobility due to ionised impurity scattering by the remaining charge states at the adjoining AlGaAs/InGaAs hetero-interface

Measurement of the lepton charge asymmetry in W-boson decays produced in p-pbar collisions

We describe a measurement of the charge asymmetry of leptons from W boson decays in the rapidity range 0 enu, munu events from 110+/-7 pb^{-1}of data collected by the CDF detector during 1992-95. The asymmetry data constrain the ratio of d and u quark momentum distributions in the proton over the x range of 0.006 to 0.34 at Q2 \approx M_W^2. The asymmetry predictions that use parton distribution functions obtained from previously published CDF data in the central rapidity region (0.0<|y_l|<1.1) do not agree with the new data in the large rapidity region (|y_l|>1.1).Comment: 13 pages, 3 tables, 1 figur